home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Mac Mania 2
/
MacMania 2.toast
/
Demo's
/
Tools&Utilities
/
Programming
/
HELP language 1.4
/
Help Files
/
ATMS
/
Description
< prev
next >
Encoding:
Amiga
Atari
Commodore
DOS
FM Towns/JPY
Macintosh
Macintosh JP
NeXTSTEP
RISC OS/Acorn
Shift JIS
UTF-8
Wrap
Text File
|
1993-01-02
|
193 b
|
1 lines
|
[
TEXT/ttxt
]
This folder contains two different releases of an ATMS oriented propositionnal (boolean) prover. It is documented in a PhD thesis by Olivier Palmade, directed by Michel Cayrol (cayrol@irit.fr).
